Optimal. Leaf size=99 \[ -\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {8 E\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}}-\frac {2 F\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.06, antiderivative size = 99, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {489, 596, 538,
436, 431} \begin {gather*} -\frac {2 F\left (\left .\text {ArcCos}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}}-\frac {8 E\left (\left .\text {ArcCos}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}}-\frac {7}{135} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x-\frac {1}{15} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x^3 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 431
Rule 436
Rule 489
Rule 538
Rule 596
Rubi steps
\begin {align*} \int \frac {x^4 \sqrt {-1+3 x^2}}{\sqrt {2-3 x^2}} \, dx &=-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {1}{15} \int \frac {x^2 \left (-6+21 x^2\right )}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {1}{405} \int \frac {-42+216 x^2}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {2}{27} \int \frac {1}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx+\frac {8}{45} \int \frac {\sqrt {-1+3 x^2}}{\sqrt {2-3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {8 E\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}}-\frac {2 F\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.51, size = 92, normalized size = 0.93 \begin {gather*} \frac {-3 x \sqrt {2-3 x^2} \left (-7+12 x^2+27 x^4\right )-24 \sqrt {3-9 x^2} E\left (\left .\sin ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )+10 \sqrt {3-9 x^2} F\left (\left .\sin ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{405 \sqrt {-1+3 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.18, size = 135, normalized size = 1.36
method | result | size |
default | \(-\frac {\sqrt {3 x^{2}-1}\, \sqrt {2}\, \sqrt {-6 x^{2}+4}\, \left (243 x^{7}-54 x^{5}+5 \sqrt {2}\, \sqrt {3}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticF \left (\frac {x \sqrt {2}\, \sqrt {3}}{2}, \sqrt {2}\right )-12 \sqrt {2}\, \sqrt {3}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticE \left (\frac {x \sqrt {2}\, \sqrt {3}}{2}, \sqrt {2}\right )-135 x^{3}+42 x \right )}{810 \left (9 x^{4}-9 x^{2}+2\right )}\) | \(135\) |
elliptic | \(\frac {\sqrt {-\left (3 x^{2}-2\right ) \left (3 x^{2}-1\right )}\, \left (-\frac {x^{3} \sqrt {-9 x^{4}+9 x^{2}-2}}{15}-\frac {7 x \sqrt {-9 x^{4}+9 x^{2}-2}}{135}-\frac {7 \sqrt {6}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticF \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )}{405 \sqrt {-9 x^{4}+9 x^{2}-2}}+\frac {4 \sqrt {6}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \left (\EllipticF \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )-\EllipticE \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )\right )}{135 \sqrt {-9 x^{4}+9 x^{2}-2}}\right )}{\sqrt {-3 x^{2}+2}\, \sqrt {3 x^{2}-1}}\) | \(182\) |
risch | \(\frac {x \left (9 x^{2}+7\right ) \left (3 x^{2}-2\right ) \sqrt {3 x^{2}-1}\, \sqrt {\left (3 x^{2}-1\right ) \left (-3 x^{2}+2\right )}}{135 \sqrt {-\left (3 x^{2}-2\right ) \left (3 x^{2}-1\right )}\, \sqrt {-3 x^{2}+2}}+\frac {\left (\frac {4 \sqrt {6}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \left (\EllipticF \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )-\EllipticE \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )\right )}{135 \sqrt {-9 x^{4}+9 x^{2}-2}}-\frac {7 \sqrt {6}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticF \left (\frac {x \sqrt {6}}{2}, \sqrt {2}\right )}{405 \sqrt {-9 x^{4}+9 x^{2}-2}}\right ) \sqrt {\left (3 x^{2}-1\right ) \left (-3 x^{2}+2\right )}}{\sqrt {-3 x^{2}+2}\, \sqrt {3 x^{2}-1}}\) | \(216\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.13, size = 35, normalized size = 0.35 \begin {gather*} -\frac {{\left (9 \, x^{4} + 7 \, x^{2} + 8\right )} \sqrt {3 \, x^{2} - 1} \sqrt {-3 \, x^{2} + 2}}{135 \, x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{4} \sqrt {3 x^{2} - 1}}{\sqrt {2 - 3 x^{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {x^4\,\sqrt {3\,x^2-1}}{\sqrt {2-3\,x^2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________